Concurrent and maximally concurrent evolution of nonsequential systems
نویسندگان
چکیده
منابع مشابه
Concurrent Abuse of Alcohol and Methadone
Background: Opioid abuse is common in Iran. In recent years, methadone maintenance therapy (MMT) has gained popularity in this country. This study aimed at evaluation concurrent abuse of alcohol in patients under MMT. Methods: A predesigned questionnaire was developed and completed after obtaining verbal consent among 49 subjects under MMT in Kian Rehabilitation Centre during January 2014. Resu...
متن کاملConcurrent Workflow Evolution
Workflow evolution is a collective term for concepts that deal with changes of workflow models. Adapted workflow models are deployed on a workflow engine as new model version. That means two versions of the same model are deployed on the engine. Typically, this results in conflicts between the workflow models. For example, how does a client find and choose the desired workflow version to instan...
متن کاملConcurrent Implementation of Differential Evolution
Abstract: Recently, general-purpose multi-core processors have been introduced widely into personal computers. In order to utilize the additional cores to execute costly application programs such as Evolutionary Algorithms (EAs), concurrent implementations of them are demanded. Even though EAs including various Differential Evolutions (DEs) are naturally prone to parallelism, Sequential DE (SDE...
متن کاملBehaviours of Concurrent Systems
Concurrent systems and their behaviours are investigated. The: tehaviour of a system is understood as the set of processes1 which the system is capable to realize. The processes may be elementary (indivisible) or may consist of some components. Two ways of composing processes are considered: sequentially (one conponent is a continuation of another) and in parallel (the components are concurrent...
متن کاملConcurrent Transition Systems
Concurrent transition systems (CTS's), are ordinary nondeterministic transition systems that have been equipped with additional concurrency information, speciied in terms of a binary residual operation on transitions. Each CTS C freely generates a complete CTS or computation category C , whose arrows are equivalence classes of nite computation sequences, modulo a congruence induced by the concu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1986
ISSN: 0304-3975
DOI: 10.1016/0304-3975(86)90177-5